Crovitz's Relational Algorithm